#include <stdio.h>

int main()
{
  printf("stdin:%d\n",stdin->_fileno);
  printf("stdout:%d\n",stdout->_fileno);
  printf("stderr:%d\n",stderr->_fileno);
  return 0;
}
